Olay Tabanlı Sınama İçin Mutant Seçimi

Özet. Model tabanlı sınama, sınama örneği üretimi için biçimsel modeller kullanmayı içerir. Bu bildiri olay tabanlı modelleme için düzenli gramerleri önermektedir. Önerilen modeli değişikiklere uğratmak için tanımlanan mutasyon işleçleri sistematik olarak hata modelleri ya da mutantların üretilmesinde kullanılmaktadır. Asıl sistem modeliyle mutantlar üzerinde uygulanan algoritmalar ile sınama örnekleri üretilmektedir. Mevcut yöntemler birer olaya odaklanırken bu bildirideki yaklaşım k≥1 uzunluğundaki olay ardışımlarına (k-ardışımlarına) odaklanmakta ve aşamalı olarak farklı hataların modellenmesini sağlamaktadır. Yaklaşım ayrıca mutasyon tabanlı sınamada karşılaşılan şimdiye kadar çözülmemiş şu sorunlar ile de başa çıkmaktadır: (i) Asıl modele denk mutantların ve (ii) aynı hatayı modelleyen birden fazla mutantın ortadan kaldırılması. Bu tür mutantlar kaynakların israfına ve sınama sürecinde verim kaybına yol açmaktadır. Önerilen yaklaşım çerçevesinde söz konusu mutantların üretilmeye bile gereksinim duyulmadan dışlanması için mutant seçme taktikleri geliştirilmektedir. Ayrıca, yaklaşımın bir örnek çalışma üzerinde varolan olay ardışım çizgeleri tabanlı yaklaşımla kıyaslanarak geçerliliği gösterilmektedir.